$\forall$$a$, $b$:$\mathbb{Z}$. Dec($a$ $\sim$ $b$)